Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🔨Compilers
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·18h·
Discuss: DEV
🦀Rust language programming
Flag this post
Type inference with TryFrom and ()
reddit.com·21h·
Discuss: r/rust
🦀Rust language programming
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🦀Rust language programming
Flag this post
Scala vs. F#
alexn.org·6h·
Discuss: Hacker News
🔨Compilers
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔨Compilers
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
🔨Compilers
Flag this post
TypeScript: Our Beloved, Overbearing Safety Net
dev.to·1h·
Discuss: DEV
🌐WebAssembly
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
medium.com·2h·
Discuss: DEV
💻programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·14h·
Discuss: DEV
🔨Compilers
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·21h·
Discuss: r/compsci, r/programming
💿Operating Systems
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1h·
Discuss: Hacker News
🦀Rust language programming
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
🔨Compilers
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·2h·
Discuss: DEV
🛡️AI Safety
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
🛡️AI Safety
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
🌐WebAssembly
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🔨Compilers
Flag this post
Street-Smart Coding—30 Lessons to Help You Code Like a Pro (My New Book Is Here)
imcsarag.gumroad.com·5h·
Discuss: DEV
💻programming
Flag this post
RimStone is a different kind of programming language
dev.to·1d·
Discuss: DEV
🔨Compilers
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News
🦀Rust language programming
Flag this post